NatDeq $\in$ EqDecider($\mathbb{N}$)